Erich Gradel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!

GRÄDEL, ERICH, PAKUSA, WIED

Journal:

Journal of Symbolic Logic

Year:

2019

Language:

english

File:

PDF, 427 KB

english, 2019

2

Metafinite Model Theory

Erich Grädel, Yuri Gurevich

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 776 KB

english, 1998

3

Domino Games and Complexity

Journal:

SIAM Journal on Computing

Year:

1990

Language:

english

File:

PDF, 2.22 MB

english, 1990

4

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

Canavoi, Felix, Grädel, Erich, Rabinovich, Roman

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.26 MB

english, 2014

5

ON THE NOTION OF LINEAR TIME COMPUTABILITY

Journal:

International Journal of Foundations of Computer Science

Year:

1990

Language:

english

File:

PDF, 580 KB

english, 1990

6

On the Decision Problem for Two-Variable First-Order Logic

Erich Grädel, Phokion G. Kolaitis and Moshe Y. Vardi

Journal:

Bulletin of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 551 KB

english, 1997

7

On Preservation Theorems for Two-Variable Logic

Erich Gradel, Eric Rosen

Journal:

Mathematical Logic Quarterly

Year:

1999

Language:

english

File:

PDF, 736 KB

english, 1999

8

Logical Definability of Counting Functions

Kevin J. Compton, Erich Grädel

Journal:

Journal of Computer and System Sciences

Year:

1996

Language:

english

File:

PDF, 797 KB

english, 1996

9

Simple interpretations among complicated theories

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 357 KB

english, 1990

10

Dominoes and the complexity of subclasses of logical theories

Journal:

Annals of Pure and Applied Logic

Year:

1989

Language:

english

File:

PDF, 3.33 MB

english, 1989

11

Hierarchies in transitive closure logic, stratified Datalog and infinitary logic

Erich Grädel, Gregory L. McColm

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 2.15 MB

english, 1996

12

Subclasses of presburger arithmetic and the polynomial-time hierarchy

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 1.42 MB

english, 1988

13

Guarded fixed point logics and the monadic theory of countable trees

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 189 KB

english, 2002

14

On logics with two variables

Erich Grädel, Martin Otto

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 3.05 MB

english, 1999

15

Satisfiability of formulae with one ∀ is decidable in exponential time

Journal:

Archive for Mathematical Logic

Year:

1990

Language:

english

File:

PDF, 645 KB

english, 1990

16

Undecidability results on two-variable logics

Erich Grädel, Martin Otto, Eric Rosen

Journal:

Archive for Mathematical Logic

Year:

1999

Language:

english

File:

PDF, 260 KB

english, 1999

17

Fixed-Point Logics and Solitaire Games

Dietmar Berwanger, Erich Grädel

Journal:

Theory of Computing Systems

Year:

2004

Language:

english

File:

PDF, 288 KB

english, 2004

18

Finite Presentations of Infinite Structures: Automata and Interpretations

Achim Blumensath, Erich Grädel

Journal:

Theory of Computing Systems

Year:

2004

Language:

english

File:

PDF, 418 KB

english, 2004

19

The Variable Hierarchy of the μ-Calculus Is Strict

Dietmar Berwanger, Erich Gradel, Giacomo Lenzi

Journal:

Theory of Computing Systems

Year:

2007

Language:

english

File:

PDF, 391 KB

english, 2007

20

Model Checking Games for the Quantitativeμ-Calculus

Diana Fischer, Erich Grädel, Łukasz Kaiser

Journal:

Theory of Computing Systems

Year:

2010

Language:

english

File:

PDF, 675 KB

english, 2010

21

Capturing complexity classes by fragments of second-order logic

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.45 MB

english, 1992

22

Backtracking games and inflationary fixed points

Anuj Dawar, Erich Grädel, Stephan Kreutzer

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 265 KB

english, 2006

23

Model Checking Games

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.27 MB

english, 2002

24

Simple sentences that are hard to decide

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.03 MB

english, 1991

25

Late Follow-up of Patients Who Underwent Palliation for Complex Congenital Heart Disease in Childhood

Andreas Hoffmann, Felix Wyler, Joelle Günthard, Erich Grädel

Journal:

Congenital Heart Disease

Year:

2008

Language:

english

File:

PDF, 62 KB

english, 2008

26

[Lecture Notes in Computer Science] Computer Science Logic Volume 5771 || Confluence of Pure Differential Nets with Promotion

Grädel, Erich, Kahle, Reinhard

Year:

2009

Language:

english

File:

PDF, 424 KB

english, 2009

27

Evaluation of aortocoronary venous bypass grafting for prevention of cardiac arrhythmias

Frank Leutenegger, Guido Giger, Peter Fuhr, Ernst A. Raeder, Felix Burkart, Hans Schmitt, Erich Grädel, Dieter Burckhardt

Journal:

American Heart Journal

Year:

1979

Language:

english

File:

PDF, 481 KB

english, 1979

28

Echocardiographic features of the correctly functioning St. Jude Medical valve prosthesis

Franz W. Amann, Dieter Burckhardt, Joachim Hasse, Erich Grädel

Journal:

American Heart Journal

Year:

1981

Language:

english

File:

PDF, 1.12 MB

english, 1981

29

Echocardiographic findings in prosthetic mitral valve dysfunction

Franz W. Amann, Dieter Burokhardt, Hans-Rudolf Jenzer, Peter Stulz, Joachim Hasse, Erich Grädel

Journal:

American Heart Journal

Year:

1984

Language:

english

File:

PDF, 2.85 MB

english, 1984

30

Entanglement and the complexity of directed graphs

Berwanger, Dietmar, Grädel, Erich, Kaiser, Łukasz, Rabinovich, Roman

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 449 KB

english, 2012

31

Dependence and Independence

Erich Grädel, Jouko Väänänen

Journal:

Year:

2013

Language:

english

File:

PDF, 208 KB

english, 2013

32

Model-Theoretic Properties ofω-Automatic Structures

Zaid, Faried Abu, Grädel, Erich, Kaiser, Łukasz, Pakusa, Wied

Journal:

Theory of Computing Systems

Year:

2014

Language:

english

File:

PDF, 884 KB

english, 2014

33

Difference between Endothelium-Dependent Relaxation in Arterial and in Venous Coronary Bypass Grafts

Lüscher, Thomas F., Diederich, Dennis, Siebenmann, Robert, Lehmann, Kurt, Stulz, Peter, Segesser, Ludwig von, Yang, Zhihong, Turina, Marko, Grädel, Erich, Weber, Erika, Bühler, Fritz R.

Journal:

Boston Medical and Surgical Journal

Year:

1988

Language:

english

File:

PDF, 2.35 MB

english, 1988

34

Model-checking games for logics of imperfect information

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 272 KB

english, 2013

35

[Texts in Theoretical Computer Science an EATCS Series] Finite Model Theory and Its Applications || Finite Model Theory and Descriptive Complexity

Year:

2007

Language:

english

File:

PDF, 990 KB

english, 2007

36

[ACM Press the twenty-seventh annual ACM symposium - Las Vegas, Nevada, United States (1995.05.29-1995.06.01)] Proceedings of the twenty-seventh annual ACM symposium on Theory of computing - STOC '95 - Descriptive complexity theory over the real numbers

Grädel, Erich, Meer, Klaus

Year:

1995

Language:

english

File:

PDF, 1.02 MB

english, 1995

37

On the Restraining Power of Guards

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.54 MB

english, 1999

38

Tailoring recursion for complexity

Grädel, Erich, Gurevich, Yuri

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.12 MB

english, 1995

39

[Lecture Notes in Computer Science] Automata Logics, and Infinite Games Volume 2500 || Decidability of S1S and S2S

Grädel, Erich, Thomas, Wolfgang, Wilke, Thomas

Year:

2002

Language:

english

File:

PDF, 412 KB

english, 2002

40

[ACM Press the 15th International Conference - Berlin, Germany (2012.03.26-2012.03.29)] Proceedings of the 15th International Conference on Database Theory - ICDT '12 - Dynamic definability

Grädel, Erich, Siebertz, Sebastian

Year:

2012

Language:

english

File:

PDF, 450 KB

english, 2012

41

[ACM Press the seventeenth ACM SIGACT-SIGMOD-SIGART symposium - Seattle, Washington, United States (1998.06.01-1998.06.04)] Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '98 - The complexity of query reliability

Grädel, Erich, Gurevich, Yuri, Hirsch, Colin

Year:

1998

Language:

english

File:

PDF, 1.10 MB

english, 1998

42

LICS 2001 special issue

Grädel, Erich, Halpern, Joseph Y., Jaghadeesan, Radha, Piperno, Adolfo

Journal:

ACM Transactions on Computational Logic

Year:

2003

File:

PDF, 16 KB

2003

43

Back and forth between guarded and modal logics

Grädel, Erich, Hirsch, Colin, Otto, Martin

Journal:

ACM Transactions on Computational Logic

Year:

2002

Language:

english

File:

PDF, 457 KB

english, 2002

44

Inflationary fixed points in modal logic

Dawar, Anuj, Grädel, Erich, Kreutzer, Stephan

Journal:

ACM Transactions on Computational Logic

Year:

2004

Language:

english

File:

PDF, 224 KB

english, 2004

45

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Characterising Choiceless Polynomial Time with First-Order Interpretations

Gradel, Erich, Pakusa, Wied, Schalthofer, Svenja, Kaiser, Lukasz

Year:

2015

Language:

english

File:

PDF, 298 KB

english, 2015

46

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Defining Winning Strategies in Fixed-Point Logic

Canavoi, Felix, Gradel, Erich, Lessenich, Simon, Pakusa, Wied

Year:

2015

Language:

english

File:

PDF, 305 KB

english, 2015

47

AORTIC ANEURYSMS AS A LATE COMPLICATION IN THE SYNDROME OF SUPRAVALVULAR AORTIC STENOSIS, PECULIAR FACIES AND MENTAL RETARDATION

WYLER, FELIX, RUTISHAUSER, MARKUS, FLIEGEL, CHRISTIAN, BUCHS, SAMUEL, GRÄDEL, ERICH

Journal:

American Journal of Roentgenology

Year:

1973

Language:

english

File:

PDF, 814 KB

english, 1973

48

Lectures in Game Theory for Computer Scientists || A Primer on Strategic Games

Apt, Krzysztof R., Gradel, Erich

Year:

2011

Language:

english

File:

PDF, 353 KB

english, 2011

49

Lectures in Game Theory for Computer Scientists || Infinite Games and Automata Theory

Apt, Krzysztof R., Gradel, Erich

Year:

2011

Language:

english

File:

PDF, 374 KB

english, 2011

50

Lectures in Game Theory for Computer Scientists || Algorithms for Solving Parity Games

Apt, Krzysztof R., Gradel, Erich

Year:

2011

Language:

english

File:

PDF, 301 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски